A formal system.
نویسندگان
چکیده
منابع مشابه
A Study of the Performance of IR in the Field of Formal and Public Education System
In describing the Islamic Revolution, it is sufficient that Imam Khomeini (Rā) referred to the Islamic Revolution with titles such as "miracle of the century" and "explosion of light". In the current situation, when various unfair crimes enter the country, the importance of explaining the achievements of the Islamic Revolution as a task is determined. Therefore, the present study aims to invest...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Comparative Study of Iranian and Turkish Formal Education System of Handicraft: With the approach of
Handicrafts, due to cultural and economic capabilities, have recently been featured in some countries as one of the subcategories of creative cultural industries and countries such as China, South Korea and the UK have made precise plans in this regard. Turkey, which has long cooperated with Iran in the field of handicrafts, is one of the leading countries in the field of cultural industries. S...
متن کاملFormal and semi-formal verification of a web voting system
Purpose: CONICET is the most important research institution in Argentina. It depends directly from Argentina’s President but its internal authorities are elected by around 8,000 researches across the country. During 2011 the CONICET developed a web voting system to replace the traditional mail-based process. In 2012 and 2014 CONICET conducted two web election with no complains from candidates a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1960
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093956556